import java.io.*;
import java.util.Arrays;
import java.util.Scanner;


public class Rcc2012Q1_A {
	//static InputStream in = System.in;
	static InputStream in;
	static BufferedWriter out;
	static Scanner scanner;
	
	static {
		try {
			in = System.in;
			//in = new FileInputStream("rcc/2013/input.txt");
			scanner = new Scanner(in);
			out = new BufferedWriter(new OutputStreamWriter(System.out));
			//out = new BufferedWriter(new FileWriter("rcc/2013/output.txt"));
		} catch (Exception e) {
			e.printStackTrace();
		}
	}
	
	public static void main(String[] args) throws Exception {
		
		int[] a = new int[12];
		cycle: while (true) {
			for (int i = 0; i < 12; i++) {
				a[i] = scanner.nextInt();
			}
			if (a[0] == 0)
				break;
			Arrays.sort(a);
			for (int idx = 0; idx < 12; idx+=4) {				
				if (a[idx] != a[idx + 1] || a[idx] != a[idx + 2] || a[idx] != a[idx + 3]) {
					out.write("no\n");
					continue cycle;
				}
			}
			out.write("yes\n");
		}
		out.close();
	}
}
